Programming correctness proof
[计] 程序正确性证明
🧩 词语组成解析
programming
['proɡræmɪŋ]
n. 规划，设计;编程;
v. 训练( programme的现在分词 );培养;预调;
[计] 正确性\\n[经] 正确性
proof
[pruf]
n. 证明;校样;检验;（酒的）标准酒精度;
adj. 防…的;抗…的;能抵御;能防范;
vt. 给（织物）做防护处理，使防水（或防火等）;印…的校样;
vi. [印刷术] 校对;发酵;
prob, prov Prob, prov= test, 表示”测试,证明, 检验”
🗣️ 情景例句
Is not prepared for interview.
对面试无准备。
Night fell quickly.
夜色很快降临。
If you touch them you may break something or have an accident and hurt yourselves.
如果你用手摸它们，也许你会搞坏机器，或者会发生事故，打伤你自己。